A High-performance Garbage Collector for Standard ML
نویسنده
چکیده
We have designed and implemented a new garbage collector for the Standard ML of New JerseySystem (SML/NJ). This collector has higher performance, lower latency and generally requires lessphysical memory than the existing SML/NJ collector. In addition, it is able to exploit the largesecondary caches found on modern workstations. This paper describes the design of the collector,and presents comparative performance data that demonstrates the above performance claims.
منابع مشابه
Replication-Based Incremental Copying Collection
We introduce a new replication-based copying garbage collection technique. We have implemented one simple variation of this method to provide incremental garbage collection on stock hardware with no special operating system or virtual memory support. The performance of the prototype implementation is excellent: major garbage collection pauses are completely eliminated with only a slight increas...
متن کاملCharacterisation of object behaviour in Standard ML of New Jersey
We describe a method of measuring lifetime characteristics of heap objects, and discuss ways in which such quantitative object behaviour measurements can help improve language implementations, especially garbage collection performance. For Standard ML of New Jersey, we find that certain primary aspects of object behaviour are qualitatively the same across benchmark programs, in particular the r...
متن کاملType-safe Stack Traversal for Garbage Collector Implementation
Garbage collectors are an important part of many modern language runtimes. Essentially all tools for developing and debugging programs using garbage collection assume the correctness of the collector, and therefore provide no means for detecting garbage collector errors. As a result it is especially important that garbage collector implementations be free of errors. This goal is even more chall...
متن کاملConservative Garbage Collectors for Realtime Audio Processing
Garbage-producing and efficient programming languages such as Haskell, Lisp or ML have traditionally not been used for generating individual samples in realtime. The reason is a lack of garbage collector fast and predictably enough to make these languages viable alternatives to C and C++ for high performing audio DSP. This paper shows how conservative garbage collectors can be used efficiently ...
متن کاملA Concurrent Copying Garbage Collector for Languages that Distinguish ( Im ) mutable
This paper describes the design and implementation of a concurrent compacting garbage collector for languages that distinguish mutable data from immutable data (e.g., ML) as well as for languages that manipulate only immutable data (e.g., pure functional languages such as Haskell). The collector runs on shared-memory parallel computers and requires minimal mutator/collector synchronization. No ...
متن کامل